perm filename OMEGA[F82,JMC] blob
sn#690685 filedate 1982-12-13 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 omega[f82,jmc] Chess win in omega moves
C00003 ENDMK
C⊗;
omega[f82,jmc] Chess win in omega moves
.k.....
.......
QPP....
PPb....
.r.....
K......
.......
.......
.k.....
.......
QPP....
PPb....
rr.....
P......
K......
.......
A. Ehrenfeucht has wins of rank omega.n. omega↑2 is conjectured
to be possible. The only reference, according to Jon Barwise, was his
review of Elementary Induction in Abstract Structures by Yiannis
Moschavakis. This review appeared in 1975 in the Bulletin of the American
Mathematical Society.